ATPS-40FUNCTIONAL ROLES OF CD166/ALCAM IN GLIOBLASTOMA
نویسندگان
چکیده
منابع مشابه
5. Arbeitstagung Programmiersprachen (ATPS 2012)
Die Tagung dient dem Austausch zwischen Forschern, Entwicklern und Anwendern, die sich mit Themen aus dem Bereich der Programmiersprachen beschaeftigen. Alle Programmierparadigmen sind von Interesse: imperative, objektorientierte, funktionale, logische, parallele, graphische Programmiersprachen, auch verteilte und nebenlaeufige Programmierung in Intraund Internet-Anwendungen, sowie Konzepte zur...
متن کاملVorwort zur 8. Arbeitstagung Programmiersprachen (ATPS 2015)
Die Arbeitstagung Programmiersprachen (ATPS) ist eine jährlich stattfindende Veranstaltung der Fachgruppe Programmiersprachen und Rechenkonzepte der Gesellschaft für Informatik (GI). Sie dient dem Austausch zwischen Wissenschaftlern, Entwicklern und Anwendern, die sich mit Themen aus dem Bereich der Programmiersprachen beschäftigen. Dabei sind alle Programmierparadigmen gleichermaßen von Intere...
متن کاملEscape to Mizar from ATPs
We announce a tool for mapping E derivations to Mizar proofs. Our mapping complements earlier work that generates problems for automated theorem provers from Mizar inference checking problems. We describe the tool, explain the mapping, and show how we solved some of the difficulties that arise in mapping proofs between different logical formalisms, even when they are based on the same notion of...
متن کامل6. Arbeitstagung Programmiersprachen (ATPS 2013)
Jens Knoop1, Janis Voigtländer2 1 Institut für Computersprachen, TU Wien Argentinierstr. 8 / E185.1, A-1040 Wien, Österreich [email protected] 2 Institut für Informatik, Universität Bonn Römerstraße 164, D-53117 Bonn, Deutschland [email protected] Die Tagung dient dem Austausch zwischen Forschern, Entwicklern und Anwendern, die sich mit Themen aus dem Bereich der Programmiersprachen ...
متن کاملVorwort zur 9. Arbeitstagung Programmiersprachen (ATPS 2016)
Die Arbeitstagung Programmiersprachen dient dem Austausch zwischen Forschern, Entwicklern und Anwendern in Hochschule, Wirtschaft und Industrie, die sich mit Themen aus dem Bereich der Programmiersprachen beschäftigen. Dabei sind alle Programmierparadigmen gleichermaßen von Interesse: imperative, objektorientierte, funktionale, logische, parallele und graphische Programmiersprachen ebenso wie v...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Neuro-Oncology
سال: 2015
ISSN: 1522-8517,1523-5866
DOI: 10.1093/neuonc/nov204.40